1. <A> Concise introduction to pure mathematics
Author: \ Martin Liebeck.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, Symbolic and mathematical.,Mathematics.,منطق ریاضی ,ریاضیات
Classification :
QA9
.
L478
2016
E-book
,
2. <A> First Course in Mathematical Logic and Set Theory
Author: \ Michael L. O'Leary
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, symbolic and mathematical,Mathematics,Set theory,منطق ریاضی,ریاضیات,نظریه مجموعه‌ها,a03,a04,a05,a03,a04,a05
Classification :
QA
9
.
O4F5
2016
E-Book
,
3. Discovering Patterns in Mathematics and Poetry
Author: \ Marcia Birken and Anne C. Coon
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Mathematics and literature,Logic, Symbolic and mathematical,Word problems (Mathematics),منطق ریاضی,مساله واژه (ریاضیات)
Classification :
E-Book
,
4. Elements of Logical Reasoning
Author: / Jan von Plato
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, Symbolic and mathematical,Reasoning,MATHEMATICS -- Logic., bisacsh,منطق ریاضی,استدلال,ریاضیات -- منطق
Classification :
QA9
.
V66
2013
5. Essays on the Foundations of Mathematics
Author: \ Stephen Pollard, editor.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics-- Philosophy.,ریاضیات -- فلسفه
Classification :
QA
8
.
6
.
E8
2010
E-Book
,
6. Formal Concept Analysis
Author: \ Jaume Baixeries , Christian Sacarea, Manuel Ojeda-Aciego (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Formal methods (Computer science) -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,منطق ریاضی-- کنگره‌ها ,روش‌های صوری (کامپیوتر) -- کنگره ها
Classification :
QA
76
.
9
.
F67
2015
E-Book
,
7. Logic, Mathematics, and Computer Science.
Author: \ Yves Nievergelt
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Mathematics,Logic, symbolic and mathematical,Number theory,ریاضیات,منطق ریاضی,نظریه اعداد,a03,a04,a05,a03,a04,a05
Classification :
QA
37
.
N5L6
2015
E-Book
,
8. Logic and Philosophy of Mathematics in the Early Husserl
Author: \ by Stefania Centrone.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, symbolic and mathematical,منطق ریاضی,a03,a03,Mathematics-- Philosophy.,ریاضیات -- فلسفه
Classification :
QA
9
.
C4L6
2010
E-Book
,
9. Logical Thinking in the Pyramidal Schema of Concepts
Author: / Lutz Geldsetzer, Richard L. Schwartz
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, Symbolic and mathematical,Mathematics, Philosophy,Philosophy (General),Logic,Computer science,منطق ریاضی,ریاضیات -- فلسفه
Classification :
QA9
.
G325
2013
10. Special Topics in Mathematics for Computer Scientists
Author: \ Ernst-Erich Doberkat
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Computer science -- Mathematics.,علوم کامپیوتر -- ریاضیات
Classification :
QA
76
.
9
..
M35S6
2015
E-Book
,
11. <The> Arché papers on the Mathematics of Abstraction
Author: \ edited by Roy T. Cook.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics -- Philosophy.,ریاضیات -- فلسفه
Classification :
QA
9
.
A7
2007
E-Book
,
12. <The> Elements of Advanced Mathematics
Author: \ Steven G. Krantz
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Mathematics,Mathematics -- Textbooks,Logic, Symbolic and mathematical -- Textbooks,ریاضیات,ریاضیات -- کتاب‌های درسی,منطق ریاضی -- کتاب‌های درسی
Classification :
E-Book
,
13. Towards Mathematical Philosophy
Author: \ David Makinson, Jacek Malinowski, Heinrich Wansing Editors
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, Symbolic and mathematical -- Congresses. ,Mathematics -- Philosophy -- Congresses. ,منطق ریاضی -- کنگره‌ها ,ریاضیات -- فلسفه -- کنگره ها
Classification :
E-Book
,
14. روش های اثبات
Author: ولمن Velleman دانیل ج. , Daniel J.
Library: Vali Asr University Central Library (Kerman)
Subject: منطق ریاضی,Logic, Symbolic and mathematical,ریاضیات,Mathematics
Classification :
QA
9
/
و
8
ر
9
1400
15. روش‌های اثبات
Author: / تالیف دانیل ولمان,عنوان اصلی: How to prove it : a structured approach,2nd ed,2006.,ولمن,Velleman
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: منطق ریاضی,Logic, Symbolic and mathematical,ریاضیات,Mathematics,a01,a01,a02,a02
Classification :
QA
۹
/
و
۸
ر
۹ ۱۳۹۸
16. فلسفه ریاضیات
Author: دامت Dummett ، مایکل ا. ای. , Michael A. E.
Library: Vali Asr University Central Library (Kerman)
Subject: ریاضیات, Mathematics, منطق ریاضی, Logic, Symbolic and mathematical
Classification :
QA
8/4
/
د
2
ف
8
1397
17. فلسفه ریاضیات
Author: مایکل دامت,دامت,Dummett
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: ریاضیات,Mathematics,منطق ریاضی,Logic, Symbolic and mathematical, -- فلسفه, -- Philosophy,a01,a02
Classification :
QA
۸
/
۴
/
د
۲
ف
۸ ۱۳۹۶
18. مفهوم‌نگاشت
Author: / گوتلوب فرِگه,فرگه,Frege
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: منطق ریاضی,Logic, Symbolic and mathematical,ریاضیات,Mathematics, -- فلسفه, -- Philosophy,a02,a01
Classification :
QA
۹
/
ف
۴
م
۷ ۱۳۹۶
